Browsing by Subject "International symposium"
Now showing items 1-15 of 15
-
Conference Object
An abstract channel specification and an algorithm implementing it using Java sockets
(2008)Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
-
Conference Object
Adaptive feedback algorithm for internet video streaming based on fuzzy rate control
(2007)It is beyond any doubt that the unpredictable nature of the today's Internet has tremendous impact on the transmission of video streams. With respect to the real-time nature of video streaming, unpredictable band-width, ...
-
Article
Bagging multiple comparisons from microarray data
(2008)Bagging and subagging procedures are put forth with the purpose of improving the discovery power in the context of large-scale simultaneous hypothesis testing. Bagging and subagging significantly improve discovery power ...
-
Conference Object
Control of feedback systems subject to the finite rate constraints via the shannon lower bound
(2007)This paper is concerned with control of stochastic systems subject to limited feedback channel capacity. Specifically, the design of an encoder, decoder, and controller subject to the mean square observability and ...
-
Conference Object
Designing mechanisms for reliable internet-based computing
(2008)In this work, using a game-theoretic approach, cost-sensitive mechanisms that lead to reliable Internet-based computing are designed. In particular, we consider Internet-based master-worker computations, where a master ...
-
Conference Object
Enhanced UMTS cellular planning for multiple traffic classes in offices scenarios
(2006)It is shown that Enhanced UMTS will be an affordable solution for providing the required network quality and to reduce infrastructure investments in offices scenarios. System capacity results are obtained by using a system ...
-
Conference Object
Hybrid CAC for MBMS-enabled 3G UMTS networks
(2006)In this paper, a novel hybrid Connection Admission Control (CAC) scheme combining downlink transmission power and aggregate throughput in the case of dedicated and shared connection setup respectively, is presented ("DPTCAC: ...
-
Conference Object
Identifying failures in grids through monitoring and ranking
(2008)In this paper we present FailRank, a novel framework for integrating and ranking information sources that characterize failures in a grid system. After the failing sites have been ranked, these can be eliminated from the ...
-
Conference Object
Model-based fault detection in power systems
(2006)In this paper, we propose an on-line monitoring scheme to detect lost lines and bus load changes on an embeded power system. The proposed monitoring scheme does not rely on classical estimation schemes used in power systems; ...
-
Conference Object
Neural networks to estimate the influence of cervix length on the prediction of spontaneous preterm delivery before 37 weeks
(2008)Neural networks were applied in an effort to predict the risk for early spontaneous preterm delivery using various demographic, clinical, and laboratory inputs. Furthermore, attention has been focused on the influence of ...
-
Conference Object
On the application of formal methods for specifying and verifying distributed protocols
(2008)In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the two experiences we evaluate the approaches and ...
-
Conference Object
On the capacity of a class of MIMO channels subject to normed uncertainty
(2008)The compound capacity of uncertain MIMO channels is considered, when the channel is modeled by a class described by an induced norm constraint. Within this framework, two types of classes are investigated, namely, additive ...
-
Conference Object
Quantitative analysis of brain white matter lesions in multiple sclerosis subjects: Preliminary findings
(2008)In this study the value of magnetic resonance image (MRI) shape and texture analysis was assessed in multiple sclerosis (MS) subjects, both in differentiating between normal and abnormal tissue and in assessing disease ...
-
Conference Object
Robust estimation with applications to phase and envelope estimation in frequency selective wireless fading channels
(2008)This paper derives robust niiniinax estimators for a class of uncertain models. The uncertainty is described by a relative entropy constraint between the unknown joint distribution and a fixed nominal joint distribution. ...
-
Conference Object
Supervisory and notification aggregator service enabler in a fixed mobile convergent architecture
(2007)This paper investigates and proposes the introduction of a Supervisory and Notification Aggregator (SNA) service enabler in a Fixed Mobile Convergent (FMC) architecture. The SNA service enabler facilitates the deployment ...